In order to accurately diagnose the synovitis patient's condition, doctors mainly rely on manual labeling and outlining method to extract synovial hyperplasia areas in the Magnetic Resonance Image (MRI). This method is time-consuming and inefficient, has certain subjectivity and is of low utilization rate of image information. To solve this problem, a new articular synovium segmentation algorithm, named 2D ResU-net segmentation algorithm was proposed. Firstly, the two-layer residual block in the Residual Network (ResNet) was integrated into the U-Net to construct the 2D ResU-net. Secondly, the sample dataset was divided into training set and testing set, and data augmentation was performed to the training set. Finally, all the training samples after augmentation were applied to the training of the network model. In order to test the segmentation effect of the model, the tomographic images containing synovitis in the testing set were selected for segmentation test. The final average segmentation accuracy indexes are as follow:Dice Similarity Coefficient (DSC) of 69.98%, IOU (Intersection over Union) index of 79.90% and Volumetric Overlap Error (VOE)of 12.11%. Compared with U-Net algorithm, 2D ResU-net algorithm has the DSC increased by 10.72%, IOU index increased by 4.24% and VOE decreased by 11.57%. Experimental results show that this algorithm can achieve better segmentation effect of synovial hyperplasia areas in MRI images, and can assist doctors to make diagnosis of the disease condition in time.

In functional programming language compilation, closure conversion and defunctionalization are two widely used higher-order code eliminating methods. To improve the operational efficiency of functional programming languages, focusing on the higher-order code eliminating phase, a compiler frame to compare the performance of code generated by closure conversion and defunctionalization was proposed. Both closure conversion and defunctionalization were used in parallel in the comparing frame with a diamond structure. A functional programming language named FUN and a compiling system for FUN based on the comparing frame was proposed. Comparison experiments of closure conversion and defunctionalization were conducted on the proposed system by using typical use cases, and the experimental results were compared in code quantity and operation efficiency. The result suggests that compared with closure conversion, defunctionalization can produce shorter and faster target code; the amount of code can be decreased by up to 33.76% and performance can be improved by up to 69.51%.

In order to investigate the effects of community structure on cascading invulnerability, in the frame of a community structure network, the initial load of the node was defined by its betweenness, and the load on the broken node was redistributed to its neighboring nodes according to the preferential probability. When the node with the largest load being intentionally attacked in the network, the relation of load exponent, coupling-strength in a community, coupling-strength between communities, modularity function and the network's invulnerability were studied. The results show that the network's cascading invulnerability is positively related with coupling-strength in a community, coupling-strength between communities and modularity function, negatively related with load exponent. With comparison to BA (Barabási-Albert) scale-free network and WS (Watts-Strogatz) small-world networks, the result indicates that community structure lowers the network's cascading invulnerability, thus the more homogeneous betweenness distribution is, the stronger network's cascading invulnerability is.